xen/arm: vgic-v3: Correctly handle GICD_CTLR
authorJulien Grall <julien.grall@linaro.org>
Mon, 16 Feb 2015 14:50:43 +0000 (14:50 +0000)
committerIan Campbell <ian.campbell@citrix.com>
Thu, 19 Feb 2015 16:54:01 +0000 (16:54 +0000)
commit8d91d64e24b0248db44e394cdeabd6a6f68c8cb2
treea568229c436b3becca81fb7828a931b3b5479b4a
parent834551bace5cfda7ca5ebbdc2ec9fd18f002e4ce
xen/arm: vgic-v3: Correctly handle GICD_CTLR

As backward GICv2 compatibility is not supported in the vGICv3 driver,
the bit ARE_NS is RAO/WI.

Furthermore, when ARE_NS is set, the guest can only modify EnableGrp1A.

At same time take the vgic_lock to write into domain.arch.vgic.ctrl. It
was already taken during read.

Signed-off-by: Julien Grall <julien.grall@linaro.org>
Acked-by: Ian Campbell <ian.campbell@citrix.com>
xen/arch/arm/vgic-v3.c